Types for proofs and programs
- Författare
- Peter Dybjer Jan Smith Bengt Nordström International Workshop on Types for Proofs and Programs 1994) (Båstad :
- (International Workshop TYPES '94, Båstad, Sweden, June 6 - 10, 1994 : selected papers Peter Dybjer, Bengt Nordström, Jan Smith (eds.).)
- Genre
- Konferenser, Konferenspublikation, Ej skönlitteratur
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 1995 | Tyskland, Berlin | x, 202 sidor. |